Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
171	A LIGHTFACE ANALYSIS OF THE DIFFERENTIABILITY RANK LINDA BROWN WESTRICK Abstract. We examine the computable part of the differentiability hierarchy defined by Kechris and Woodin. In that hierarchy, the rank of a differen Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2014-10-24 11:30:43 Ordinal numbers Proof theory Computability theory Mathematical notation Ordinal notation Continuous function Constructible universe Limit of a function Symbol NC Computable number Fast-growing hierarchy
172	Math. Log. Quart, 1 – 4 Mathematical Logic Quarterly c WILEY-VCH Verlag Berlin GmbH 2001 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2007-01-13 09:21:39 Dialectica interpretation Intuitionism Proof theory Sheaf Product rule Portable character set
173	Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universitt Robert–Mayer–Str. 6–10, 6000 F Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2014-04-08 11:54:42 Computability theory Mathematical logic Logic Primitive recursive functional Proof theory Symbol Mathematics Table of stars with Bayer designations
174	On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:11:16 Computability theory Proof theory Mathematical logic Predicate logic Logic in computer science Primitive recursive functional Reverse mathematics Primitive recursive function Primitive recursive arithmetic First-order logic Peano axioms Ordinal analysis
175	Appendix H: Developments relevant for building a semantic collection of mathematical theorems The Sloan Foundation funded eCF project was an exploratory project devoted to collecting and semantically representing mathema Add to Reading List Source URL: www.wolframfoundation.org Language: English - Date: 2015-12-15 12:07:17 Software Application software Mathematical software Mathematics Mathematical notation Theorem Applied mathematics Areas of mathematics Mathematician Wolfram Mathematica Symbolic computation Mathematical proof
176	OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Ramsey’s theorem states that for any coloring of the n-element subsets of N with finitely many colors, there is an infinite set Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-10-26 09:24:01 Computability theory Mathematical logic Proof theory Theory of computation Logic in computer science Computable function Reverse mathematics PA degree Peano axioms
177	Globalization makes inconsistency unrecognizable John Woods Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2015-12-30 14:58:38 Logic Philosophy Abstraction Philosophical logic Non-classical logic Mathematical logic Theories of truth Proof theory Negation Paraconsistent logic False Contradiction
178	Classical provability of uniform versions and intuitionistic provability Makoto Fujiwara∗ Mathematical Institute Tohoku University 6-3, Aramaki Aoba, Aoba-ku Sendai, Miyagi, Japan Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-08-17 07:52:06 Computability theory Proof theory Mathematical logic Logic Reverse mathematics Mathematics Philosophy of mathematics
179	Changing dynamics at the zero lower bound Gregor Bäurle, Daniel Kaufmann, Sylvia Kaufmann and Rodney W. Strachan Working PaperThis discussion paper series represents research work-in-progress and is distributed Add to Reading List Source URL: www.szgerzensee.ch Language: English - Date: 2016-03-09 12:12:17 Statistics Probability Mathematical analysis Probability distributions Normal distribution Proof theory Differential topology Riemann surfaces
180	Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Philipp Gerhardy · Ulrich Kohlenbach Extracting Herbrand Disjunctions by Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 06:37:32 Logic Mathematics Abstraction Mathematical logic Model theory Proof theory Semantics Term algebra First-order logic Interpretation Substitution Herbrandization

UPDATE